Automatic Pipelining From Transactional Datapath Specifications
نویسندگان
چکیده
منابع مشابه
Automatic Pipeline Synthesis and Formal Verification from Transactional Datapath Specifications
............................................................................................................................ iii Acknowledgements ..............................................................................................................i List of Tables......................................................................................................................vi List...
متن کاملAutomatic Functional Datapath Optimization
Digital hardware frontend specification is defined by two extremes RTL specification and HLS specification. RTL specification produces highly optimized designs, but requires extremely verbose low level specification on the part of the designer. On the other hand, HLS specification requires much less verbose high level specification from the designer, but does not produce well optimized designs....
متن کاملAutomatic Testing from Formal Specifications
In this article, we consider model oriented formal specification languages. We generate test cases by performing symbolic execution over a model, and from the test cases obtain a Java program. This Java program acts as a test driver and when it is run in conjunction with the implementation then testing is performed in an automatic manner. Our approach makes the testing cycle fully automatic. Th...
متن کاملTowards Automatic Generation of Multi-table Datapath from Datapath-Oblivious Algorithmic SDN Policies
Despite the emergence of multi-table pipelining as a key feature of nextgeneration SDN datapath models, there is no existing work that addresses the substantial programming challenge of generating effective multi-tables automatically. In this paper, we present Magellan, the first system that tries to address the aforementioned challenge and beyond. Introducing a novel algorithm called Map-Explo...
متن کاملAutomatic Synthesis of Timed Protocol Specifications from Service Specifications
Several methods have been proposed for synthesizing computer communication protocol specifications from service specifications. In real time applications, the time required to execute the events can be crucial and has to be considered. Some of the protocol synthesis methods do not consider timing constraints and, therefore, cannot be used in real time applications. In this paper, the assignment...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
سال: 2011
ISSN: 0278-0070,1937-4151
DOI: 10.1109/tcad.2010.2088950